 
(* ::Section:: *)
(* FreeIndex *)
(* ::Text:: *)
(*FreeIndex is a datatype which is recognized by Contract. Possible use: DataType[mu, FreeIndex] = True..*)


(* ::Subsection:: *)
(* See also *)
(* ::Text:: *)
(*Contract, DataType.*)



(* ::Subsection:: *)
(* Examples *)


